منابع مشابه
Linearizable Read/Write Objects
We study the cost of using message passing to implement linearizable read write objects for shared memory multiprocessors under various assumptions on the available timing informa tion We take as cost measures the worst case response times for performing read and write operations in distributed implementations of virtual shared memory consisting of such objects and the sum of these response tim...
متن کاملDistributionally Linearizable Data Structures
Relaxed concurrent data structures have become increasingly popular, due to their scalability in graph processing and machine learning applications ([24, 14]). Despite considerable interest, there exist families of natural, high performing randomized relaxed concurrent data structures, such as the popular MultiQueue [27] pattern for implementing relaxed priority queue data structures, for which...
متن کاملLinearizable ordinary differential equations . ∗
Our purpose in this paper is to study when a planar differential system polynomial in one variable linearizes in the sense that it has an inverse integrating factor which can be constructed by means of the solutions of linear differential equations. We give several families of differential systems which illustrate how the integrability of the system passes through the solutions of a linear diff...
متن کاملAbortable Linearizable Modules
We define the Abortable Linearizable Module automaton (ALM for short) and prove its key composition property using the IOA theory of HOLCF. The ALM is at the heart of the Speculative Linearizability framework. This framework simplifies devising correct speculative algorithms by enabling their decomposition into independent modules that can be analyzed and proved correct in isolation. It is part...
متن کاملAbortable Fork-Linearizable Storage
We address the problem of emulating a shared read/write memory in a message passing system using a storage server prone to Byzantine failures. Although cryptography can be used to ensure confidentiality and integrity of the data, nothing can prevent a malicious server from returning obsolete data. Fork-linearizability [1] guarantees that if a malicious server hides an update of some client from...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1999
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(98)90244-4